composition of relation with itself